Поиск по сайту

HomeПоиск по сайту

Information

По вашему запросу найдено материалов: 1
Искать:
Chushkin M. S. «Sketch completion for predicate programs by counterexamples guided synthesis» // Applied Discrete Mathematics. Supplement 2017. №10 C.151-153